Optimal. Leaf size=163 \[ \frac {5 a^3 (2 A+5 B) x}{2 c^2}-\frac {5 a^3 (2 A+5 B) \cos (e+f x)}{2 c^2 f}+\frac {a^3 (A+B) c^3 \cos ^7(e+f x)}{3 f (c-c \sin (e+f x))^5}-\frac {2 a^3 (2 A+5 B) c \cos ^5(e+f x)}{3 f (c-c \sin (e+f x))^3}-\frac {5 a^3 (2 A+5 B) \cos ^3(e+f x)}{6 f \left (c^2-c^2 \sin (e+f x)\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.24, antiderivative size = 163, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {3046, 2938,
2759, 2758, 2761, 8} \begin {gather*} \frac {a^3 c^3 (A+B) \cos ^7(e+f x)}{3 f (c-c \sin (e+f x))^5}-\frac {5 a^3 (2 A+5 B) \cos (e+f x)}{2 c^2 f}-\frac {5 a^3 (2 A+5 B) \cos ^3(e+f x)}{6 f \left (c^2-c^2 \sin (e+f x)\right )}+\frac {5 a^3 x (2 A+5 B)}{2 c^2}-\frac {2 a^3 c (2 A+5 B) \cos ^5(e+f x)}{3 f (c-c \sin (e+f x))^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 2758
Rule 2759
Rule 2761
Rule 2938
Rule 3046
Rubi steps
\begin {align*} \int \frac {(a+a \sin (e+f x))^3 (A+B \sin (e+f x))}{(c-c \sin (e+f x))^2} \, dx &=\left (a^3 c^3\right ) \int \frac {\cos ^6(e+f x) (A+B \sin (e+f x))}{(c-c \sin (e+f x))^5} \, dx\\ &=\frac {a^3 (A+B) c^3 \cos ^7(e+f x)}{3 f (c-c \sin (e+f x))^5}-\frac {1}{3} \left (a^3 (2 A+5 B) c^2\right ) \int \frac {\cos ^6(e+f x)}{(c-c \sin (e+f x))^4} \, dx\\ &=\frac {a^3 (A+B) c^3 \cos ^7(e+f x)}{3 f (c-c \sin (e+f x))^5}-\frac {2 a^3 (2 A+5 B) c \cos ^5(e+f x)}{3 f (c-c \sin (e+f x))^3}+\frac {1}{3} \left (5 a^3 (2 A+5 B)\right ) \int \frac {\cos ^4(e+f x)}{(c-c \sin (e+f x))^2} \, dx\\ &=\frac {a^3 (A+B) c^3 \cos ^7(e+f x)}{3 f (c-c \sin (e+f x))^5}-\frac {2 a^3 (2 A+5 B) c \cos ^5(e+f x)}{3 f (c-c \sin (e+f x))^3}-\frac {5 a^3 (2 A+5 B) \cos ^3(e+f x)}{6 f \left (c^2-c^2 \sin (e+f x)\right )}+\frac {\left (5 a^3 (2 A+5 B)\right ) \int \frac {\cos ^2(e+f x)}{c-c \sin (e+f x)} \, dx}{2 c}\\ &=-\frac {5 a^3 (2 A+5 B) \cos (e+f x)}{2 c^2 f}+\frac {a^3 (A+B) c^3 \cos ^7(e+f x)}{3 f (c-c \sin (e+f x))^5}-\frac {2 a^3 (2 A+5 B) c \cos ^5(e+f x)}{3 f (c-c \sin (e+f x))^3}-\frac {5 a^3 (2 A+5 B) \cos ^3(e+f x)}{6 f \left (c^2-c^2 \sin (e+f x)\right )}+\frac {\left (5 a^3 (2 A+5 B)\right ) \int 1 \, dx}{2 c^2}\\ &=\frac {5 a^3 (2 A+5 B) x}{2 c^2}-\frac {5 a^3 (2 A+5 B) \cos (e+f x)}{2 c^2 f}+\frac {a^3 (A+B) c^3 \cos ^7(e+f x)}{3 f (c-c \sin (e+f x))^5}-\frac {2 a^3 (2 A+5 B) c \cos ^5(e+f x)}{3 f (c-c \sin (e+f x))^3}-\frac {5 a^3 (2 A+5 B) \cos ^3(e+f x)}{6 f \left (c^2-c^2 \sin (e+f x)\right )}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.61, size = 280, normalized size = 1.72 \begin {gather*} \frac {a^3 \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right ) (1+\sin (e+f x))^3 \left (32 (A+B) \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )+30 (2 A+5 B) (e+f x) \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )^3-12 (A+5 B) \cos (e+f x) \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )^3+64 (A+B) \sin \left (\frac {1}{2} (e+f x)\right )-32 (7 A+13 B) \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )^2 \sin \left (\frac {1}{2} (e+f x)\right )-3 B \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )^3 \sin (2 (e+f x))\right )}{12 f \left (\cos \left (\frac {1}{2} (e+f x)\right )+\sin \left (\frac {1}{2} (e+f x)\right )\right )^6 (c-c \sin (e+f x))^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.33, size = 166, normalized size = 1.02
method | result | size |
derivativedivides | \(\frac {2 a^{3} \left (\frac {\frac {B \left (\tan ^{3}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2}+\left (-A -5 B \right ) \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-\frac {B \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{2}-A -5 B}{\left (1+\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )^{2}}+\frac {5 \left (2 A +5 B \right ) \arctan \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2}-\frac {-4 A -12 B}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}-\frac {16 A +16 B}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}-\frac {16 A +16 B}{2 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}\right )}{f \,c^{2}}\) | \(166\) |
default | \(\frac {2 a^{3} \left (\frac {\frac {B \left (\tan ^{3}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2}+\left (-A -5 B \right ) \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-\frac {B \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{2}-A -5 B}{\left (1+\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )^{2}}+\frac {5 \left (2 A +5 B \right ) \arctan \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2}-\frac {-4 A -12 B}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}-\frac {16 A +16 B}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}-\frac {16 A +16 B}{2 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}\right )}{f \,c^{2}}\) | \(166\) |
risch | \(\frac {5 a^{3} x A}{c^{2}}+\frac {25 a^{3} x B}{2 c^{2}}+\frac {i B \,a^{3} {\mathrm e}^{2 i \left (f x +e \right )}}{8 c^{2} f}-\frac {a^{3} {\mathrm e}^{i \left (f x +e \right )} A}{2 c^{2} f}-\frac {5 a^{3} {\mathrm e}^{i \left (f x +e \right )} B}{2 c^{2} f}-\frac {a^{3} {\mathrm e}^{-i \left (f x +e \right )} A}{2 c^{2} f}-\frac {5 a^{3} {\mathrm e}^{-i \left (f x +e \right )} B}{2 c^{2} f}-\frac {i B \,a^{3} {\mathrm e}^{-2 i \left (f x +e \right )}}{8 c^{2} f}-\frac {8 \left (-12 i A \,a^{3} {\mathrm e}^{i \left (f x +e \right )}+9 A \,a^{3} {\mathrm e}^{2 i \left (f x +e \right )}-24 i B \,a^{3} {\mathrm e}^{i \left (f x +e \right )}+15 B \,a^{3} {\mathrm e}^{2 i \left (f x +e \right )}-7 a^{3} A -13 B \,a^{3}\right )}{3 \left ({\mathrm e}^{i \left (f x +e \right )}-i\right )^{3} f \,c^{2}}\) | \(247\) |
norman | \(\frac {\frac {\left (8 a^{3} A +25 B \,a^{3}\right ) \left (\tan ^{10}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c f}+\frac {46 a^{3} A +118 B \,a^{3}}{3 c f}-\frac {5 a^{3} \left (2 A +5 B \right ) x}{2 c}-\frac {\left (34 a^{3} A +77 B \,a^{3}\right ) \left (\tan ^{9}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c f}-\frac {\left (38 a^{3} A +93 B \,a^{3}\right ) \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{c f}+\frac {2 \left (68 a^{3} A +194 B \,a^{3}\right ) \left (\tan ^{4}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c f}-\frac {2 \left (70 a^{3} A +160 B \,a^{3}\right ) \left (\tan ^{7}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c f}-\frac {2 \left (108 a^{3} A +251 B \,a^{3}\right ) \left (\tan ^{5}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c f}-\frac {\left (148 a^{3} A +352 B \,a^{3}\right ) \left (\tan ^{3}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c f}+\frac {\left (154 a^{3} A +478 B \,a^{3}\right ) \left (\tan ^{8}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{3 c f}+\frac {2 \left (182 a^{3} A +545 B \,a^{3}\right ) \left (\tan ^{6}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{3 c f}+\frac {\left (220 a^{3} A +595 B \,a^{3}\right ) \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{3 c f}+\frac {15 a^{3} \left (2 A +5 B \right ) x \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{2 c}-\frac {35 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 c}+\frac {65 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{3}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 c}-\frac {45 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{4}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c}+\frac {55 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{5}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c}-\frac {55 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{6}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c}+\frac {45 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{7}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c}-\frac {65 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{8}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 c}+\frac {35 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{9}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 c}-\frac {15 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{10}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 c}+\frac {5 a^{3} \left (2 A +5 B \right ) x \left (\tan ^{11}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 c}}{\left (1+\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )^{4} c \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}\) | \(683\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 1504 vs.
\(2 (163) = 326\).
time = 0.55, size = 1504, normalized size = 9.23 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.37, size = 298, normalized size = 1.83 \begin {gather*} \frac {3 \, B a^{3} \cos \left (f x + e\right )^{4} - 6 \, {\left (A + 4 \, B\right )} a^{3} \cos \left (f x + e\right )^{3} - 30 \, {\left (2 \, A + 5 \, B\right )} a^{3} f x - 16 \, {\left (A + B\right )} a^{3} + {\left (15 \, {\left (2 \, A + 5 \, B\right )} a^{3} f x + {\left (62 \, A + 131 \, B\right )} a^{3}\right )} \cos \left (f x + e\right )^{2} - {\left (15 \, {\left (2 \, A + 5 \, B\right )} a^{3} f x - 2 \, {\left (26 \, A + 71 \, B\right )} a^{3}\right )} \cos \left (f x + e\right ) - {\left (3 \, B a^{3} \cos \left (f x + e\right )^{3} - 30 \, {\left (2 \, A + 5 \, B\right )} a^{3} f x + 3 \, {\left (2 \, A + 9 \, B\right )} a^{3} \cos \left (f x + e\right )^{2} + 16 \, {\left (A + B\right )} a^{3} - {\left (15 \, {\left (2 \, A + 5 \, B\right )} a^{3} f x - 2 \, {\left (34 \, A + 79 \, B\right )} a^{3}\right )} \cos \left (f x + e\right )\right )} \sin \left (f x + e\right )}{6 \, {\left (c^{2} f \cos \left (f x + e\right )^{2} - c^{2} f \cos \left (f x + e\right ) - 2 \, c^{2} f + {\left (c^{2} f \cos \left (f x + e\right ) + 2 \, c^{2} f\right )} \sin \left (f x + e\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 4665 vs.
\(2 (151) = 302\).
time = 8.98, size = 4665, normalized size = 28.62 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.56, size = 233, normalized size = 1.43 \begin {gather*} \frac {\frac {15 \, {\left (2 \, A a^{3} + 5 \, B a^{3}\right )} {\left (f x + e\right )}}{c^{2}} + \frac {6 \, {\left (B a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 2 \, A a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 10 \, B a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - B a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 2 \, A a^{3} - 10 \, B a^{3}\right )}}{{\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + 1\right )}^{2} c^{2}} + \frac {16 \, {\left (3 \, A a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + 9 \, B a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 12 \, A a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 24 \, B a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 5 \, A a^{3} + 11 \, B a^{3}\right )}}{c^{2} {\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1\right )}^{3}}}{6 \, f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 14.00, size = 341, normalized size = 2.09 \begin {gather*} \frac {5\,a^3\,\mathrm {atan}\left (\frac {5\,a^3\,\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )\,\left (2\,A+5\,B\right )}{10\,A\,a^3+25\,B\,a^3}\right )\,\left (2\,A+5\,B\right )}{c^2\,f}-\frac {\frac {46\,A\,a^3}{3}-\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )\,\left (38\,A\,a^3+93\,B\,a^3\right )+\frac {118\,B\,a^3}{3}+{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^6\,\left (8\,A\,a^3+25\,B\,a^3\right )-{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^5\,\left (34\,A\,a^3+77\,B\,a^3\right )-{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^3\,\left (72\,A\,a^3+166\,B\,a^3\right )+{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^4\,\left (\frac {106\,A\,a^3}{3}+\frac {328\,B\,a^3}{3}\right )+{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^2\,\left (\frac {128\,A\,a^3}{3}+\frac {359\,B\,a^3}{3}\right )}{f\,\left (-c^2\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^7+3\,c^2\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^6-5\,c^2\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^5+7\,c^2\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^4-7\,c^2\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^3+5\,c^2\,{\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )}^2-3\,c^2\,\mathrm {tan}\left (\frac {e}{2}+\frac {f\,x}{2}\right )+c^2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________